In early 2020, as the first of many COVID lockdowns began across Australia, a collective of feminist and queer performance scholars and artists embarked on the research project Staging Australian Women’s Lives: Theatre, Feminism and Socially Engaged Art. Our aim was to document contributions of womxn theatre makers, while conducting a feminist analysis of strategies used to deal with gender inequality and oppression, on stage and off. While pivoting to the digital and the virtual, we recognised a need to support (...) womxn theatre makers whose lives and livelihoods are thrown into further precarity by the pandemic. This paper speaks to our commitment to bringing together critical theory, arts practices and everyday life in ethical forms and encounters that make visible, recognise and express care for one another and for the work. (shrink)

When making inferences about similar others, people anchor and adjust away from themselves. However, research on relational self theory suggests the possibility of using knowledge about others as an anchor when they are more similar to a target. We investigated whether social inferences are made on the basis of significant other knowledge through an anchoring and adjustment process, and whether anchoring on a significant other is more effortful than anchoring on the self. Participants answered questions about their likes and habits, (...) as well as the likes and habits of a significant other, a target similar to their significant other, and a yoked control. We found that prediction differences between the significant other and similar target led to longer response times, and we found the opposite effect for self and target differences, suggesting anchoring and adjustment from the significant other rather than the self. These effects were moderated by the source-relative salience of the dimension being evaluated. The evidence was mixed with respect to the question of whether anchoring on a significant other is more effortful than anchoring on the self. (shrink)

“X-Firsters” hold that there is some normative feature that is fundamental to all others (and, often, that there’s some normative feature that is the “mark of the normative”: all other normative properties have it, and are normative in virtue of having it). This view is taken as a starting point in the debate about which X is “on first.” Little has been said about whether or why we should be X-Firsters, or what we should think about normativity if we aren’t (...) X-Firsters. Hence the chapter’s two main goals. First, to provide a simple argument that one shouldn’t be an X-Firster about the normative domain, which starts with the observation that analogous views have dubious merits in analogous domains. Second, to offer an alternative view—taking normativity to be a determinable explained in terms of its determinates—that offers an interesting way to think about the structure and unity of normativity. (shrink)

I ask you to X. You now have a reason to X. My request gave you a reason. How? One unpopular theory is the epistemic account, according to which requests do not create any new reasons but instead simply reveal information. For instance, my request that you X reveals that I desire that you X, and my desire gives you a reason to X. Peter Schaber has recently attacked both the epistemic account and other theories of the reason-giving force of (...) requests. Schaber defends a new theory of the reason-giving force of requests according to which request give reasons because it is valuable for requesters and requestees that requests have this power. In this paper I argue that Schaber's attack on the epistemic account fails, and that his own theory ought to be rejected because it faces compelling objections. (shrink)

© 2015, Springer-Verlag Berlin Heidelberg.Genetic studies have identified single nucleotide polymorphisms associated with the risk of prostate cancer. It remains unclear whether such genetic variants are associated with disease aggressiveness. The NCI-SPORE Genetics Working Group retrospectively collected clinicopathologic information and genotype data for 36 SNPs which at the time had been validated to be associated with PC risk from 25,674 cases with PC. Cases were grouped according to race, Gleason score and aggressiveness. Statistical analyses were used to compare the frequency (...) of the SNPs between different disease cohorts. After adjusting for multiple testing, only PC-risk SNP rs2735839 was significantly and inversely associated with aggressive and high-grade disease in European men. Similar associations with aggressive and high-grade disease were documented in African-American subjects. The G allele of rs2735839 was associated with disease aggressiveness even at low PSA levels in both European and African-American men. Our results provide further support that a PC-risk SNP rs2735839 near the KLK3 gene on chromosome 19q13 may be associated with aggressive and high-grade PC. Future prospectively designed, case-case GWAS are needed to identify additional SNPs associated with PC aggressiveness. (shrink)

This experiment investigated the effect of format (line vs. bar), viewers’ familiarity with variables, and viewers’ graphicacy (graphical literacy) skills on the comprehension of multivariate (three variable) data presented in graphs. Fifty-five undergraduates provided written descriptions of data for a set of 14 line or bar graphs, half of which depicted variables familiar to the population and half of which depicted variables unfamiliar to the population. Participants then took a test of graphicacy skills. As predicted, the format influenced viewers’ interpretations (...) of data. Specifically, viewers were more likely to describe x–y interactions when viewing line graphs than when viewing bar graphs, and they were more likely to describe main effects and “z–y” (the variable in the legend) interactions when viewing bar graphs than when viewing line graphs. Familiarity of data presented and individuals’ graphicacy skills interacted with the influence of graph format. Specifically, viewers were most likely to generate inferences only when they had high graphicacy skills, the data were familiar and thus the information inferred was expected, and the format supported those inferences. Implications for multivariate data display are discussed. (shrink)

This essay re-examines Kierkegaard's view of Socrates. I consider the problem that arises from Kierkegaard's appeal to Socrates as an exemplar for irony. The problem is that he also appears to think that, as an exemplar for irony, Socrates cannot be represented. And part of the problem is the paradox of self-reference that immediately arises from trying to represent x as unrepresentable. On the solution I propose, Kierkegaard does not hold that, as an exemplar for irony, Socrates is in no (...) way representable. Rather, he holds that, as an exemplar for irony, Socrates cannot be represented in a purely disinterested way. I show how, in The Concept of Irony, Kierkegaard makes use of 'limiting cases' of representation in order to bring Socrates into view as one who defies purely disinterested representation. I also show how this approach to Socrates connects up with Kierkegaard's more general interest in the problem of ethical exemplarity, where the problem is how ethical exemplars can be given as such, that is, in such a way that purely disinterested contemplation is not the appropriate response to them. (shrink)

Claims pertaining to understanding are made in a variety of contexts and ways. As a result, few in the philosophical literature have made an attempt to precisely characterize the state that is y understanding x. This paper builds an account that does just that. The account is motivated by two main observations. First, understanding x is somehow related to being able to manipulate x. Second, understanding is a mental phenomenon, and so what manipulations are required to be an understander must (...) only be mental manipulations. Combining these two insights, the paper builds an account (URM) of understanding as a certain representational capacity—specifically, understanding x involves possessing a representation of x that could be manipulated in useful ways. By tying understanding to representation, the account correctly identifies that understanding is a fundamentally cognitive achievement. However, by also demanding that which representations count as understanding-conferring be determined by their practical effects, URM captures the insight that understanding is vitally connected to practice. URM is fully general, and can apply equally well to understanding states of affairs, understanding events, and even understanding people and works of art. The ultimate test of URM is its applicability in actual scientific and philosophical discourse. To that end the paper discusses the importance of understanding in the philosophy of science, psychology, and computer science. (shrink)

everyone loves superheroes. superheroes, of course, have incredible powers; they can leap tall buildings in a single bound, excel in combat, and have X-ray vision. But, in addition, superheroes have a kind of simplicity of motive and focus that makes them pure and comprehensible in the way in which the people we actually know rarely are. For Superman it is about Truth, Justice, and the American Way. For Batman it is all about fighting evil: defeating the Joker, the Riddler, and (...) other nefarious characters. For Spiderman it is an outsized sense of mission: “With great power comes great responsibility.” Superheroes are superhuman individuals, who have a simple philosophy of life that motivates their every action. Of.. (shrink)

Some explanations appeal to facts about the causal structure of a system in order to shed light on a particular phenomenon; these are explanations which do more than cite the causes X and Y of some state-of-affairs Z, but rather appeal to “macro-level” causal features—for example the fact that A causes B as well as C, or perhaps that D is a strong inhibitor of E—in order to explain Z. Appeals to these kinds of “macro-level” causal features appear in a (...) wide variety of social scientific and biological research; statements about features such as “patriarchy,” “healthcare infrastructure,” and “functioning DNA repair mechanism,” for instance, can be understood as claims about what would be different in a system with a different causal structure. I suggest interpreting counterfactual questions involving structural features as questions about alternative parameter settings of causal models, and propose an extension of the usual interventionist framework for causal explanation which enables scientists to explore the consequences of interventions on “macro-level” structure. (shrink)

Proponents of ontic conceptions of explanation require all explanations to be backed by causal, constitutive, or similar relations. Among their justifications is that only ontic conceptions can do justice to the ‘directionality’ of explanation, i.e., the requirement that if X explains Y , then not-Y does not explain not-X . Using topological explanations as an illustration, we argue that non-ontic conceptions of explanation have ample resources for securing the directionality of explanations. The different ways in which neuroscientists rely on multiplexes (...) involving both functional and anatomical connectivity in their topological explanations vividly illustrate why ontic considerations are frequently (if not always) irrelevant to explanatory directionality. Therefore, directionality poses no problem to non-ontic conceptions of explanation. (shrink)

A number of theories of dispositions to date have presupposed that dispositions are all causal: when X is disposed to PHI in circumstances C, it is because of a potential causal connection between C and X’s PHIing. Other intimate connections between dispositions and causation have been argued for: that the relation between dispositions and their categorical bases is to be understood in causal terms, for example, or even that we can explain causation in dispositional terms. These theories of dispositions are (...) all threatened by previously underappreciated cases of noncausal dispositions: cases where an X is disposed to PHI in C, but not because of potential causal connections between the manifestation conditions of dispositions and the manifestations themselves. This paper argues that there are noncausal dispositions of a number of different varieties, explains what trouble this causes many standard theories of dispositions, and discusses what lessons can be learned from these cases for the nature of dispositions. Some of the cases discussed will also cast doubt on the idea that all dispositions ground truths about potentiality or possibility. (shrink)

An intrinsic property is roughly a property something has in virtue of how it is, as opposed to how it is related to other things. More carefully, the property of being F is intrinsic iff, necessarily, for any x that is F , x is F in virtue of how it is, as opposed to how it is related to wholly distinct things, or how wholly distinct things are. An extrinsic property, on the other hand, is any property that is (...) not intrinsic. An example of an extrinsic property is the property of being an uncle. The property of being an uncle is extrinsic since, necessarily, any uncle is an uncle at least partly in virtue of how it is related to people wholly distinct from them. Examples of intrinsic properties are more controversial. It is widely held, however, that both the property of being cubical and the property of being made of tin are examples of intrinsic properties. (shrink)

In this article I defend a new definition of what it is to commit suicide:(D) A commits suicide by performing an act x if and only if A intends that he or she kill himself or herself by performing x (under the description ‘I kill myself’), and this intention is fully satisfied.The definition has some surprising implications: various real-life examples often referred to as ‘suicides’ (e.g. ‘suicide bombers’) may well turn out not to be suicides after all.1.

The Quality of Life: Aristotle Revised, by KrautRichard. Oxford: Oxford University Press, 2018. Pp. x + 249.

It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X-and-Y than to the conjuncts X, Y. Whether an error is thereby committed depends on reasoners’ interpretation of the expressions “probability” and “and.” We report two experiments designed to clarify the normative status of typical responses to conjunction problems. © 2004 Cognitive Science Society, Inc. All rights reserved.

An overview of the recent debate on the Trinity in the analytic philosophy of religion. I move from putting forward the Logical Problem of the Trinity (LPT) according to R.Cartwright and M.Rea. I then define two useful notions in order to evaluate the interpretive force of the mainstream approaches to answer LPT; i.e. , be X a concept, I define maximally robust reading of X and sufficiently robust reading of X. In the subsequent section, I offer an expository analysis of (...) Latin Trinitarianism, Social Trinitarianism and Material Constitution Trinitarianism in line with such concepts. I finally advance some reasons why neither of these properly work. My main argument is that every traditional phrasing of the doctrine of the Trinity asks Christians to hold maximally robust reading both of the onefoldness of God and the threefoldness of Divine Persons. Now, while Latin Trinitarianism, Social Trinitarianism and Material Constitution Trinitarianism provide maximally robust account of God's onefoldness, they can't give a maximally robust account for Persons' threefoldness. (shrink)

An MV-algebra A=(A,0,¬,⊕) is an abelian monoid (A,0,⊕) equipped with a unary operation ¬ such that ¬¬x=x,x⊕¬0=¬0, and y⊕¬(y⊕¬x)=x⊕¬(x⊕¬y). Chang proved that the equational class of MV-algebras is generated by the real unit interval [0,1] equipped with the operations ¬x=1−x and x⊕y=min(1,x+y). Therefore, the free n-generated MV-algebra Free n is the algebra of [0,1]-valued functions over the n-cube [0,1] n generated by the coordinate functions ξ i ,i=1, . . . ,n, with pointwise operations. Any such function f is a (...) McNaughton function, i.e., f is continuous, piecewise linear, and each piece has integer coefficients. Conversely, McNaughton proved that all McNaughton functions f: [0,1] n →[0,1] are in Free n . The elements of Free n are logical equivalence classes of n-variable formulas in the infinite-valued calculus of Łukasiewicz. The aim of this paper is to provide an alternative, representation-free, characterization of Free n. (shrink)

In this paper, I will discuss boulesic and deontic logic and the relationship between these branches of logic. By ‘boulesic logic,’ or ‘the logic of the will,’ I mean a new kind of logic that deals with ‘boulesic’ concepts, expressions, sentences, arguments and systems. I will concentrate on two types of boulesic expression: ‘individual x wants it to be the case that’ and ‘individual x accepts that it is the case that.’ These expressions will be symbolised by two sentential operators (...) that take individuals and sentences as arguments and give sentences as values. Deontic logic is a relatively well-established branch of logic. It deals with normative concepts, sentences, arguments and systems. In this paper, I will show how deontic logic can be grounded in boulesic logic. I will develop a set of semantic tableau systems that include boulesic and alethic operators, possibilist quantifiers and the identity predicate; I will then show how these systems can be augmented by a set of deontic operators. I use a kind of possible world semantics to explain the intended meaning of our formal systems. Intuitively, we can think of our semantics as a description of the structure of a perfectly rational will. I mention some interesting theorems that can be proved in our systems, including some versions of the so-called hypothetical imperative. Finally, I show that all systems that are described in this paper are sound and complete with respect to their semantics. (shrink)

Syntax and semantics in Łukasiewicz infinite-valued sentential logic Ł are harmonized by revising the Bolzano-Tarski paradigm of “semantic consequence,” according to which, θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} follows from Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} iff every valuation v that satisfies all formulas in Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} also satisfies θ.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta.$$\end{document} For θ\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} to be a consequence of Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document}, we also require that any infinitesimal perturbation of v that preserves the truth of all formulas of Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} also preserves the truth of θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document}. An elementary characterization of Łukasiewicz implication shows that the Łukasiewicz axiom →Y)→→X)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \rightarrow Y ) \rightarrow \rightarrow X )$$\end{document} guarantees the continuity and the piecewise linearity of the implication operation →\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rightarrow $$\end{document}, an appropriate fault-tolerance property of any logic of [0,1]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{[0,1]}\,}}$$\end{document}-valued observables. The directional derivability of the functions coded by all ψ∈Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi \in \Theta $$\end{document} and by θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} then provides a quantitative formulation of our refinement of Bolzano-Tarski consequence, which turns out to coincide with the time-honored syntactic Ł-consequence. (shrink)

My paper addresses the notion of moral responsibility in religious ethics. I begin with the outline of the doctrine of moral heteronomy. The scripture stories of the Tables of the Laws and the Holy Covenant provide the general pattern for heteronomic ethics. My claim is that heteronomic ethics transfers the responsibility for the action A an agent x is performing from x to the normative system commanding x to perform A. I then picture the architecture of the normative system of (...) the Decalogue (System D) and I work out criteria for the completeness and consistency of the system. In the next section I make the case for the actual incompleteness and inconsistency of D. As a consequence, an agent subject to the authority of D can not rule his moral conduct by the norms in D. Therefore, the acceptance of D transfers the moral responsibility for the actions by x from x to D, but D does not provide a complete and consistent system of norms to rule x's conduct. In the final section of the paper I briefly present the way religious ethics deals with this problem, by offering an alternative approach to the notion of moral responsibility. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Jesus Becoming Jesus, Volume 2, A Theological Interpretation of the Gospel of John: Prologue and the Book of Signs by Thomas G. WeinandyDaniel A. KeatingJesus Becoming Jesus, Volume 2, A Theological Interpretation of the Gospel of John: Prologue and the Book of Signs by Thomas G. Weinandy, O.F.M. Cap. (Washington, DC: Catholic University of America Press, 2021), xviii + 484 pp.This is an unusual biblical commentary. By his (...) own account, Fr. Weinandy had set out to write a fully orbed systematic theology. While in the process of giving a "respectful nod to Scripture" as a prelude to his systematic study, he found himself caught up and engrossed in the biblical text—and never managed to extricate himself. Changing course, he decided to write "a theological or doctrinal interpretation of the New Testament." Volume 1 of this effort covers the Synoptic Gospels (2018). In this second volume, Weinandy turns his attention to the Fourth Gospel, his aim being "to discern the theological and doctrinal content of John's Gospel" (x).Perhaps the most unusual quality of this study is the complete absence of any secondary literature. Though the author has read commentaries on the Gospels, both ancient and modern, he chose not to consult any other scholars (or ecclesiastical writers) in composing this doctrinal commentary. Given his focused aim—a theological and doctrinal study of the Gospels—he wanted to avoid getting caught up in contemporary scholarly exegetical debates. And so there are no footnotes to secondary sources (a thing probably welcome to many readers).Weinandy alerts the reader at the start concerning his particular approach to this study of the Gospels. Fascinated throughout his career as a systematic theologian with the notion of "act" (and especially with God as "pure act"), he approaches the Gospel narratives primarily from the perspective of Jesus's actions. Specifically, he intends to explore how Jesus "enacts" [End Page 738] his name, "YHWH-Saves," through the saving mysteries revealed in the narrative of the Gospels. Thus the title of his multi-volume work, "Jesus Becoming Jesus," serves as the overarching theological theme of the entire effort. This is how he explains his methodology of "act" and "enactment" in his first volume: "Jesus more and more becomes Jesus in act through his saving acts; he becomes more and more the Savior. He definitively becomes Jesus-in-act with the actions of his saving death and resurrection, which will find completion when Jesus comes in glory at the end of time" (xix). With such attention given to Jesus's actions, Weinandy admits that Jesus's teaching does not receive the same attention. It is not that he ignores Jesus's words, but they function primarily as pointers to Jesus's acts.And yet in another sense, the endpoint of this commentary is to show the Trinity-in-act. "The Father is fatherhood fully in act; the Son is sonship fully in act; and the Holy Spirit is love fully in act. This threefold perichoretic act is the one God fully in act" (xiv). As Jesus progressively enacts his name and identity, so too are the Father and the Spirit revealed according to the "acts" that reflect their hypostatic identities. A consistent feature of this commentary is the sustained attention given to how the Father and the Spirit are involved in the saving actions of Jesus, the Word made flesh. Congruent with this view of the Trinity's perichoretic act, Weinandy often adopts what might be called a "perichoretic syntax," whereby he presents a single reality from the distinct perspectives of the divine persons, restating the same truth in mutually enhancing ways. This grammatical-syntactical style of the commentary is admirably suited to its theme.If we are looking for parallels to this theological-doctrinal approach in the Christian tradition, the commentaries on the Gospel of John by Cyril of Alexandria and Thomas Aquinas come to mind. Like Weinandy, they each work through the Gospel text passage by passage, explaining the meaning of each section, but they are characterized by an overarching doctrinal concern: to present the entirety of the Christian faith through the words of John's Gospel and to... (shrink)

The text shortly introduces Rousseau’s De l’imitation théatrale (1764). Rousseau’s writing is basically a translation of the first pages of Book X of Plato’s Republic. On the one hand, Rousseau shares with Plato the ethical rigor that, in view of a certain political project, leads to the moral condemnation of theatrical practices. On the other hand, the metaphysical assumptions on which Plato’s critique relies are much heavier than those of Rousseau, whose sensualistic nominalism is incompatible with the metaphysical realism about (...) universals that underlies the arguments of Book X of the Republic. In this respect, it is surprising that Rousseau refers to Book X rather than Book III, in which the same critique of theatrical spectacles is developed from a psychological and moral point of view. (shrink)

Consider two entities x and y, and a relation R which holds among them. Is R’s existence accountable merely in terms of the non relational properties exhibited by x and y, once they interact? Or, is it more appropriate to say that R is independent of x and y, and these acquire sets of relational properties because of their being related through R? In case the former option obtains, the existence of relations is reducible to the relevant properties of the (...) related terms. As a consequence, some version of antirealism or eliminativism towards relations turns out to be true. Otherwise they are irreducible, and ontological analysis cannot be dispensed with relations treated as basic or primitive entities. The first section of my paper provides a framework for handling ontological facts about relations. I will address the assessment of the notions of internal and external relations by K. Mulligan. In the second section I will put my cards on the table. My purpose is to defend a Moorean approach to relations, i.e. both internal and external relations exist. I will briefly outline my methodology, and I will comment on the kind of evidence usually referred to in the debate. My view is that evolutionary research on groups behavior may play an important role. In the third section of the paper I will show that commonsense intuitions on relationships among human beings endorse an external reading of relations. My claim is supported by notorious examples drawn from literature. In the final section I will consider whether evolutionary research on human prosociality provides an empirical setting for the assessment of the commonsense understanding of (at least some) relations in terms of externality. I expand such setting to include behaviors of social animal in general (i.e., animals whose behaviors depends on groups’ hierarchy), and I advance a few reason why empirical research needs postulating the independent existence of relations. (shrink)

The purpose of this paper is to describe a set of temporal alethic–deontic systems, i.e. systems that include temporal, alethic and deontic operators. All in all we will consider 2,147,483,648 systems. All systems are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T x W semantics, to characterize our systems semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect (...) to their semantics. (shrink)

In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part. By ‘boulesic logic’ I mean ‘the logic of the will’, and by ‘doxastic logic’ I mean ‘the logic of belief’. The first part deals with ‘boulesic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of boulesic expression: ‘individual x wants it to be (...) the case that’ and ‘individual x accepts that it is the case that’. The second part deals with ‘doxastic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of doxastic expression: ‘individual x believes that’ and ‘it is imaginable to individual x that’. Boulesic-doxastic logic investigates how these concepts are related to each other. Boulesic logic is a new kind of logic. Doxastic logic has been around for a while, but the approach to this branch of logic in this paper is new. Each system is combined with modal logic with two kinds of modal operators for historical and absolute necessity and predicate logic with necessary identity and ‘possibilist’ quantifiers. I use a kind of possible world semantics to describe the systems semantically. I also sketch out how our basic language can be extended with propositional quantifiers. All the systems developed in this paper are new. (shrink)

My paper provides reasons in support of the view that vague identity claims originate from a conflict between rigidity and precision in designation. To put this stricly, let x be the referent of the referential terms P and Q. Then, that the proposition “that any x being both a P and a Q” is vague involves that the semantic intuitions at work in P and Q reveal a conflict between P and Q being simultaneously rigid and precise designators. After having (...) shortly commented on an example of vague identity claim, I make the case for my proposal, by discussing how reference by baptism conflicts with descriptive attitudes towards understanding conceptual contents. (shrink)

This dissertation is generally concerned with Plato’s conception of philosophy, as the conception is ascertainable from the Republic and certain ‘post-Republic’ dialogues. It argues that philosophy, according to Plato, is multi-disciplinary; that ‘philosophy’ does not mark off just one art or science; that there are various philosophers corresponding to various philosophical sciences, all of which come together under a common aim: betterment of self through intellectual activity. A major part of this dissertation is concerned with Plato's science par excellence, ‘the (...) science of dialectic’. The science of dialectic is distinguished in Plato by being concerned with Forms or Kinds as such; the science of dialectic, alone amongst the philosophical sciences, fully understands what it means for Form X to be a Form. I track the science of dialectic, from its showcase in Republic VI and VII, and analyze its place in relation to the other philosophical sciences in certain post-Republic dialogues. Ultimately, I show that, whilst it is not the only science constituting philosophy, Plato’s science of dialectic represents the intellectual zenith obtainable by man; the expert of this science is the topmost philosopher. In this dissertation I also argue that Socrates, as variously depicted in these dialogues, always falls short of being identified as the philosopher par excellence, as that expert with positive knowledge of Forms as such. Yet I also show that, far from being in conflict, the elenctic Socrates and the philosopher par excellence form a complementary relationship: the elenctic philosopher gets pupils to think about certain things in the right way prior to sending them off to work with the philosopher par excellence. (shrink)

Let two events A, B be given. We consider probability distributions over the partition P = {A ∩ B, A ∩ ¯ B, ¯ A ∩ B, ¯ A ∩ ¯ B}. By a “constraint” is meant a probabilistically coherent set of statements each of the form Prob(E) = x, where E is a subset of P . Let C be the class of constraints. By a “method of ampliative inference” is meant any total function M from C to the (...) class of probability distributions over P , provided that M has the following property. (shrink)

According to the so-called golden rule, we ought to treat others as we want to be treated by them. This rule, in one form or another, is part of every major religion, and it has been accepted by many philosophers with various ethical views. However, if the literal golden rule is interpreted as an absolute rule, it is problematic. In this paper, I introduce a new version of this famous principle that is similar to various classical definitions. According to this (...) variant, the rule can be formulated in the following way: If you want it to be the case that if x were in your situation and you were in x’s situation then x would do H to you, and you have a good will, then you ought to do H to x. I show how this version can be derived from a small set of highly plausible premises, and I defend it against some of the most interesting and/or common objections against the golden rule in the literature. I conclude that we have good reason to believe in this rendition of the principle. (shrink)

1. Characterizing randomness. Consider a physical process that, if suitably idealized, generates an indefinite sequence of independent random bits. One such process might be radioactive decay of a lump of uranium whose mass is kept at just the level needed to ensure that the probability is one-half that no alpha particle is emitted in the nth microsecond of the experiment. Let us think of the bits as drawn from {0, 1} and denote the resulting sequence by x with coordinates x0, (...) x1, . . .. Now wouldn’t it be odd if there were a computer program P with the following property? (shrink)

Let $\to $ be a continuous $\protect \operatorname {\mathrm {[0,1]}}$ -valued function defined on the unit square $\protect \operatorname {\mathrm {[0,1]}}^2$, having the following properties: $x\to = y\to $ and $x\to y=1 $ iff $x\leq y$. Let $\neg x=x\to 0$. Then the algebra $W=$ satisfies the time-honored Łukasiewicz axioms of his infinite-valued calculus. Let $x\to _{\text {\tiny \L }}y=\min $ and $\neg _{\text {\tiny \L }}x=x\to _{\text {\tiny \L }} 0 =1-x.$ Then there is precisely one isomorphism $\phi $ of (...) W onto the standard Wajsberg algebra $W_{\text {\tiny \L }}= $. Thus $x\to y= \phi ^{-1}+\phi ))$. (shrink)